<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:x="https://www.texmacs.org/2002/extensions" xmlns:m="http://www.w3.org/1998/Math/MathML">
  <head>
    <title>TeXmacs notes</title>
    <meta content="TeXmacs 1.99.19" name="generator"></meta>
    <link href="../resources/notes-base.css" type="text/css" rel="stylesheet"></link>
    <link href="../resources/blog-icon.png" rel="icon"></link>
    <script src="../resources/highlight.pack.js" language="javascript" defer></script>
    <script src="../resources/notes-base.js" language="javascript" defer></script>
    <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js" language="javascript"></script>
  </head>
  <body>
    <div class="toggle" style="display: none">
      <p>
        
      </p>
    </div>
    <div class="notes-header">
      <p>
        <img class="image" src="../resources/texmacs-blog-transparent.png" width="28.116784"></img><span style="margin-left: 2pt"></span><a href="./main.html">[main]</a><em
        class="notes-header-name">Notes on TeXmacs</em>
      </p>
    </div>
    <h1 id="auto-1">Scheming<span style="margin-left: 1em"></span></h1>
    <div class="notes-abstract">
      We discuss some aspects of the choice of the Scheme language
      implementation used in TeXmacs.
    </div>
    <p>
      [6.1.2021]
    </p>
    <p>
      In TeXmacs we use <a href="https://www.gnu.org/software/guile/">GNU Guile</a> version 1.8 as embedded Scheme
      interpreter. Lately, this has been a source of problems, mostly related
      to packaging. On one hand Guile 1.8 is no more supported in standard
      Linux distributions. This implies that we have either to ship Guile in
      our codebase or maintain a private repository for Guile 1.8. On the
      other hand more recent versions of Guile compile the sources to bytecode
      and introduce a separated expansion and evaluation phases which break
      part of our codebase. Moreover while Guile 2 has a fine compiler, it has
      been for some time quite slow in interpreting code and only recently
      with the introduction of a JIT compiler in Guile 3 the interpreted code
      runs as fast as in Guile 1.8. Finally we have some difficulties in
      compiling Guile 2 on Windows and Guile 3 seems not yet be supported
      there. The <a href="http://lilypond.org">GNU Lilypond</a> project seems to have run into
      similar issues with Guile and they also remained with Guile 1.8.8 (see
      <a href="http://lilypond.org/doc/v2.21/Documentation/contributor/requirements-for-running-lilypond">here</a>).
    </p>
    <p>
      This situation is not very nice and we would like to move forward and
      remove these problems. Therefore we are currently evaluating various
      possible strategies to evolve the way we run Scheme code within TeXmacs.
      The following are the criteria we want to take into account.
    </p>
    <ul>
      <li>
        <p>
          We use Scheme as an extension language to run on top of the GUI and
          the typesetting code in order to implement the dynamical and
          programmable UI. Additionally, if the implementation speed allows we
          can shift some of the conversion code in Scheme. We have C++ at our
          disposal anyway so we can always drop there for speed-critical
          tasks, but is nicer to be able to write Scheme code instead of C++.
        </p>
      </li>
      <li>
        <p>
          TeXmacs already needs a huge library like <class style="font-variant: small-caps">Qt</class>
          in order to be cross-platform, so in this respect we would like not
          to carry over a huge all-purpose Scheme implementation which would
          come with all its own libraries dependencies (e.g. Guile needs GMP).
        </p>
      </li>
      <li>
        <p>
          We need to be cross-platform so we would like to minimize the
          problem related to porting the Scheme implementation on the various
          OSs and architectures.
        </p>
      </li>
      <li>
        <p>
          Guile 1.8 speed is OK so far. However we cannot loose performance
          (especially at boot time and for standard operations like moving the
          cursor around). We could even hope to gain some speed by using an
          alternative implementation.
        </p>
      </li>
      <li>
        <p>
          TeXmacs do not currently use Unicode for its internal string
          representations but a custom formate (TeXmacs universal
          representation), so marshaling data to Unicode-aware Schemes is a
          mildly issue for us.
        </p>
      </li>
    </ul>
    <p>
      As for the available alternatives, the situation so far is the
      following.
    </p>
    <ul>
      <li>
        <p>
          An easy choice would be to just integrate in our codebase the
          sources of Guile 1.8 (which is not more maintained) in TeXmacs. This
          would not require changes to our scheme code. However the packaging
          problems remains, moreover there are large portions of the library
          we do not use. 
        </p>
      </li>
      <li>
        <p>
          We can go with Guile 3 and get the nice speed improvement wrt. 1.8.
          See <a href="https://www.wingolog.org/archives/2020/06/03/a-baseline-compiler-for-guile">here</a> for some updates on the development of Guile.
          This will require more or less extensive changes to our Scheme code.
          These changes are been implemented in a git development branch and
          so far the situation seems promising. One drawback of this choice is
          the fact that support for platforms like Windows is not the primary
          goal of the Guile developers (as far as we understand) and also that
          Guile is become a large standalone scheme with many library
          dependencies, far from its origin as <i>extension language</i>. So
          the benefits of the compiler should be weighted against the
          difficulty of packaging and also the stability of the cross-platform
          support. Also Guile 2/3 has encoding-aware strings which poses a
          (small) problem for us and would require some hackery to get around.
        </p>
      </li>
      <li>
        <p>
          An attractive option is to switch to another small, embeddable
          Scheme interpreter like <a href="https://github.com/ashinn/chibi-scheme/"><class style="font-variant: small-caps">Chibi</class>
          Scheme</a> or <a href="https://cm-gitlab.stanford.edu/bil/s7.git">S7 Scheme</a>. For performance reasons it
          seems that the clear winner for us is S7 which is a very compact
          interpreter written in C with no external dependencies. We are
          currently experimenting in integrating S7 with TeXmacs and we have a
          working development branch (with still some issue).
        </p>
      </li>
      <li>
        <p>
          A radical alternative is to consider the embedding of a full-fledged
          Scheme compiler. By looking at the multitude of Scheme
          implementations around we singled out <a href="https://github.com/cisco/chezscheme"><class style="font-variant: small-caps">Chez
          Scheme</class></a> as a compiled system which seems flexible enough
          to be able to be embedded in our setting. Its main features are:
          compactness, speed, industrial quality, open-source (Apache 2.0),
          cross-platform and with no external dependencies. (For an
          interesting history of this implementation refer to <a href="http://www.cs.indiana.edu/~dyb/pubs/hocs.pdf">this
          paper</a>.)
        </p>
      </li>
    </ul>
    <p>
      The development branches of TeXmacs for Guile 3 and S7 can be found
      here:
    </p>
    <ul>
      <li>
        <p>
          <a href="https://github.com/mgubi/texmacs/tree/s7/src"><tt>https://github.com/mgubi/texmacs/tree/s7/src</tt></a>
        </p>
      </li>
      <li>
        <p>
          <a href="https://github.com/mgubi/texmacs/tree/guile3/src"><tt>https://github.com/mgubi/texmacs/tree/guile3/src</tt></a>
        </p>
      </li>
    </ul>
    <p>
      We performed some test of these alternative implementations to help us
      make a preliminary picture. We used some standard R7RS benchmarks found
      <a href="https://github.com/ecraven/r7rs-benchmarks">here</a> and we got the results shown below on a MacBook Air
      (2019). They show that S7 is consistently the fastest interpreter wrt.
      Chibi or Guile 1.8. We also see that, as expected, Chez is among the
      fastest implementations available with consistent timings all across the
      benchmarks.
    </p>
    <p>
      We currently have working implementations of TeXmacs with Guile 1.8, S7
      and Guile 3.0.4 and what we see from preliminary tests is that boot time
      of S7 is comparable to that of Guile 3.0.4 (0.4 sec) and half of that of
      Guile 1.8 (0.8 sec). Also compile the full manual require the roughly
      the same time to all the three implementations (~15 sec). We would need
      to consider more intensive tests to discriminate the tradeoffs in
      performances of the various choices.
    </p>
    <p>
      Here are the results of the R7RS benchmarks. The symbol &empty; denotes
      that the program exceeded a conventional time limit and was interrupted.
    </p>
    <center>
      <font style="font-size: 90.0%"><table style="width: 100%">
        <tbody><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; padding-bottom: 0.3em; padding-top: 0.3em; border-left: 0px solid"><p>
            <b>test</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>s7</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>chibi 0.9.1</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>chez 9.5.1</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>guile 1.8.8</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; border-right: 0px solid"><p>
            <b>guile 3.0.4</b>
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            browse:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid"><p>
            24.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid"><p>
            0.84
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid"><p>
            76.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid"><p>
            12.06
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            deriv:10000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            25.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            97.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            67.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            18.58
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            destruc:600:50:4000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            52.08
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            94.90
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            7.14
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            diviter:1000:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            55.88
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.81
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            82.75
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            15.45
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            divrec:1000:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            11.80
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            50.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            82.04
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            17.41
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            puzzle:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            27.72
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            270.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            221.49
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            18.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            triangl:22:1:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            33.93
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            110.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            107.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            8.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            tak:40:20:11:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            12.93
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            55.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            134.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.76
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            takl:40:20:12:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            20.97
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.46
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ntakl:40:20:12:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            17.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            95.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.65
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            cpstak:40:20:11:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            103.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            222.13
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            258.62
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            59.44
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ctak:32:16:8:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            44.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.96
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fib:40:5
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.22
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            96.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            236.65
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            12.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fibc:30:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            25.80
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fibfp:35.0:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.89
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            42.79
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.18
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            56.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            22.00
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sum:10000:200000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            6.64
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            99.79
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.59
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            6.87
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sumfp:1000000.0:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            85.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            111.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            42.06
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fft:65536:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            32.20
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            69.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            7.69
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mbrot:75:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            24.40
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            209.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.39
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            50.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mbrotZ:75:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            18.56
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            67.01
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nucleic:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            19.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            79.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.59
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            69.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            15.35
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            pi
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            &ndash;
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.56
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            pnpoly:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            17.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            253.84
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            24.89
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ray:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            20.46
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            119.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.83
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            18.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            simplex:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            46.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            182.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            13.90
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ack:3:12:2
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.57
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            74.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.12
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            8.41
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            array1:1000000:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            11.48
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            64.18
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            8.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            138.45
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.24
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            string:500000:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            6.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            6.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.81
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.87
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sum1:25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.47
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            121.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.02
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.43
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            cat:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            70.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            28.40
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            tail:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            11.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.57
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.82
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            wc:inputs/bib:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            8.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            73.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            16.96
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            read1:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.41
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            281.23
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.28
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.80
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            compiler:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            41.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            115.83
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.15
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            conform:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            51.03
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            199.42
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            dynamic:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            22.74
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            288.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.01
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            71.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            7.37
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            earley
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.03
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.49
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            graphs:7:3
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            127.61
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            23.03
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            lattice:44:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            139.28
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            15.94
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            matrix:5:5:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            72.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            214.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.88
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            maze:20:7:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            23.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            84.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.70
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mazefun:11:11:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            19.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            122.02
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            128.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            9.66
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nqueens:13:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            55.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            165.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            19.37
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            paraffins:23:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            31.42
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.97
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.25
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            parsing:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            39.44
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.35
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.69
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            peval:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            29.68
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            177.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            107.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            15.64
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            primes:1000:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            7.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            21.08
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.64
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            43.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            7.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            quicksort:10000:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            94.00
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.90
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            13.25
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            scheme:100000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            71.46
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            154.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.55
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            15.14
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            slatex:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            32.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            173.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            43.82
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            45.05
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            chudnovsky
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            &ndash;
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.31
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nboyer:5:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            39.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            41.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            142.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            5.10
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sboyer:5:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            31.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            39.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.30
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            155.49
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.76
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            gcbench:20:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            20.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            1.87
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            3.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mperm:20:10:2:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            173.33
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            659.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            13.33
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.65
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            equal:100:8:1000:2000:5000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            54.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            0.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            bv2string:1000:1000:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            10.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            11.17
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            2.47
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            4.49
          </p></td>
        </tr></tbody>
      </table></font>
    </center>
    <p>
      
    </p>
    <p>
      <hr></hr>
    </p>
    <p>
      [8.1.2021]
    </p>
    <p>
      Some more benchmarks. Populating the autocompletion tree (i.e. pressing
      <font class="tmweb-key" style="font-size: 70.0%">&#x21E5;</font> in a Scheme session within TeXmacs)
    </p>
    <center>
      <font style="font-size: 90.0%"><table style="width: 100%">
        <tbody><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; padding-bottom: 0.3em; padding-top: 0.3em; border-left: 0px solid"><p>
            
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>symbols</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>time</b> (msec)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            guile 1.8.8<span style="margin-left: 2em"></span>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            8639
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            686
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            guile 3.0.5
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10300
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            217
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            S7
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7360
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            255
          </p></td>
        </tr></tbody>
      </table></font>
    </center>
    <p>
      
    </p>
    <p>
      <hr></hr>
    </p>
    <p>
      [12.4.2021]
    </p>
    <p>
      Another interesting system is <a href="https://github.com/JeffBezanson/femtolisp">femtolisp</a> which is currenlty
      in use within Julia for the initial stage of parsing and syntactic
      elaboration. It is a small lisp with lexical scoping and bytecode
      interpreter. The benchmarks have been updated to include it. S7 seems
      still faster on average.
    </p>
    <p>
      
    </p>
    <center>
      <font style="font-size: 90.0%"><table style="width: 100%">
        <tbody><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; padding-bottom: 0.3em; padding-top: 0.3em; border-left: 0px solid"><p>
            <b>test</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>femtolisp</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>s7</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>chibi 0.9.1</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>chez 9.5.1</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid"><p>
            <b>guile 1.8.8</b>
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0px solid; border-bottom: 0.5px solid; border-right: 0px solid"><p>
            <b>guile 3.0.4</b>
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            browse:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center; border-top: 0.5px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center"><p>
            24.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center"><p>
            0.84
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center"><p>
            76.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; text-align: center"><p>
            12.06
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            deriv:10000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            11.56
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            25.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            97.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            67.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            18.58
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            destruc:600:50:4000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            27.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            52.08
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            94.90
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7.14
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            diviter:1000:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            20.02
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            55.88
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.81
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            82.75
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.45
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            divrec:1000:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            20.64
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            11.80
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            50.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            82.04
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            17.41
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            puzzle:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            74.62
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            27.72
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            270.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            221.49
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            18.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            triangl:22:1:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            34.29
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            33.93
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            110.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            107.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            8.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; padding-bottom: 0.3em; padding-top: 0.3em"><p>
            tak:40:20:11:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            24.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            12.93
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            55.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            134.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.76
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            takl:40:20:12:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            74.92
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            20.97
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.46
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ntakl:40:20:12:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            60.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            17.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            95.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.65
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            cpstak:40:20:11:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            49.13
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            103.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            222.13
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            258.62
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            59.44
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ctak:32:16:8:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            101.5
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            44.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.96
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fib:40:5
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            46.50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.22
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            96.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            236.65
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            12.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fibc:30:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            64.58
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            25.80
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fibfp:35.0:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            45.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.89
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            42.79
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.18
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            56.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            22.00
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sum:10000:200000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            55.43
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            6.64
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            99.79
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.59
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            6.87
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sumfp:1000000.0:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            32.92
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            85.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            111.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            42.06
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            fft:65536:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            36.87
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            32.20
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            69.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7.69
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mbrot:75:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            24.40
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            209.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.39
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            50.09
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mbrotZ:75:1000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            18.56
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            67.01
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nucleic:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            50.83
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            19.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            79.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.59
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            69.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.35
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            pi
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            &ndash;
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.56
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            pnpoly:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            107.00
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            17.98
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            253.84
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            24.89
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ray:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            27.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            20.46
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            119.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.83
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            18.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            simplex:1000000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            85.77
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            46.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            182.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            13.90
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            ack:3:12:2
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            44.28
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.57
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            74.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.12
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            8.41
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            array1:1000000:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            59.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            11.48
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            64.18
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            8.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            138.45
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.24
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            string:500000:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            6.30
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            6.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            6.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.81
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.87
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sum1:25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            0.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.47
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            121.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.02
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.71
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.43
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            cat:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            28.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            70.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            28.40
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            tail:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            1.08
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.19
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            11.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.57
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.82
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            wc:inputs/bib:50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            39.55
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            8.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.76
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            73.34
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            16.96
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            read1:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            1.53
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.41
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            281.23
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.28
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.69
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.80
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            compiler:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            41.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            115.83
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.15
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            conform:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            47.04
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            51.03
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            199.42
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            dynamic:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            22.74
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            288.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.01
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            71.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7.37
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            earley
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            35.82
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.03
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.49
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            graphs:7:3
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            99.22
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            127.61
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            23.03
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            lattice:44:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            135.43
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            139.28
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.91
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.94
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            matrix:5:5:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            45.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            72.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            214.16
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.63
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.88
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            maze:20:7:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; text-align: center"><p>
            \(-\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            23.26
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            84.15
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.70
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mazefun:11:11:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            28.50
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            19.51
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            122.02
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            128.66
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            9.66
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nqueens:13:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            63.33
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            55.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            165.25
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            19.37
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            paraffins:23:10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            6.12
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            31.42
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.97
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.25
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            parsing:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            39.44
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.35
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.69
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            peval:2000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            32.29
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            29.68
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            177.10
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            107.05
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.64
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            primes:1000:10000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            13.52
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            21.08
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.64
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            43.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            7.52
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            quicksort:10000:2500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            119.74
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            94.00
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.90
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            13.25
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            scheme:100000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            71.46
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            154.36
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.55
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.14
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            slatex:500
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            32.07
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            173.60
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.73
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            43.82
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            45.05
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            chudnovsky
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            &ndash;
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.32
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.31
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            nboyer:5:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            12.48
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            39.27
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            41.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.95
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            142.86
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            5.10
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            sboyer:5:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            15.42
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            31.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            39.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.30
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            155.49
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.76
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            gcbench:20:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            20.54
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            1.87
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.51
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            mperm:20:10:2:1
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            173.33
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            659.14
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            13.33
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.65
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            equal:100:8:1000:2000:5000
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            3.61
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            54.11
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            0.99
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
        </tr><tr>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid"><p>
            bv2string:1000:1000:100
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center; border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.21
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            10.78
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            11.17
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            2.47
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            \(\varnothing\)
          </p></td>
          <td style="border-top: 0.5px solid; border-bottom: 0.5px solid; border-left: 0px solid; border-right: 0px solid; text-align: center"><p>
            4.49
          </p></td>
        </tr></tbody>
      </table></font>
    </center>
    <p>
      
    </p>
    <p>
      
    </p>
  </body>
</html>